fixed point combinator - определение. Что такое fixed point combinator
Diclib.com
Словарь онлайн

Что (кто) такое fixed point combinator - определение

HIGHER-ORDER FUNCTION Y FOR WHICH Y F = F (Y F)
Paradoxical combinator; Y operator; Fixed point operator; U combinator; Curry's paradoxical combinator; Fixed-point operator; Fixpoint combinator; Anonymous fixpoint; Fixpoint operator; Fixed point combinator

Fixed-point combinator         
In mathematics and computer science in general, a fixed point of a function is a value that is mapped to itself by the function.
fixed point combinator         
<mathematics> (Y) The name used in combinatory logic for the fixed point function, also written as "fix". (1994-10-20)
Fixed float         
COMPUTER FORMAT FOR REPRESENTING REAL NUMBERS
Fixed Precision; Fixed point (computing); Fixed point arithmetic; Fixed point numbers; Fixed point number; Fixed-point math; Binary scaling; Fixed precision; Fixed-point number; Fixed float; User:Rahul.deshmukhpatil/Fixed float; Fixed-precision arithmetic; Hardware support for fixed-point arithmetic; Power-of-two scaling; Power-of-2 scaling; Binary-point scaling; Binary-point-only scaling; B notation (fixed point format); B notation (binary scaling); B-notation (fixed point format); B-notation (binary scaling)
In computing, fixed float describes a method of representing real numbers in a way that number and decimal point value is stored at different location or bytes in a memory allocated to variable unlike floating point. In a typical 4 byte (on little endian platform) fixed float number lower(lsb) 2 bytes are used to store the decimal part of the number just like integer value.

Википедия

Fixed-point combinator

In mathematics and computer science in general, a fixed point of a function is a value that is mapped to itself by the function.

In combinatory logic for computer science, a fixed-point combinator (or fixpoint combinator): page 26  is a higher-order function fix {\displaystyle {\textsf {fix}}} that returns some fixed point of its argument function, if one exists.

Formally, if the function f has one or more fixed points, then

fix   f = f   ( fix   f )   , {\displaystyle {\textsf {fix}}\ f=f\ ({\textsf {fix}}\ f)\ ,}

and hence, by repeated application,

fix   f = f   ( f   ( f   ( fix   f ) ) )   . {\displaystyle {\textsf {fix}}\ f=f\ (f\ (\ldots f\ ({\textsf {fix}}\ f)\ldots ))\ .}